Connecting technology for SMT.
نویسندگان
چکیده
منابع مشابه
Connecting the Dots: Health Information Technology Expansion and Health Disparities
Courtney Lyles and colleagues highlight how the expansion of patient-facing electronic health record portals could exacerbate existing healthcare disparities.
متن کاملTrends in Connecting Learners First Research & Technology Scouting Report
One of the most challenging fields in the TEL research area, is the one devoted to the study of the learning processes, when they occur in online environments, especially if they are based on collaborative activities. In this research thread, the debate around the use of structured activities to support interactions and collaboration among peers is quite lively. To what extent it is useful to p...
متن کاملConnecting Professional Practice and Technology at the Bedside
The purpose of this research is to determine the effects of implementing an electronic health record on medical-surgical registered nurses' time spent in direct professional patient-centered nursing activities, attitudes and beliefs related to implementation, and changes in level of nursing engagement after deployment of the electronic health record. Patient-centered activities were categorized...
متن کاملPredicting Prepositions for SMT
Representation and Prediction Features Initial experiments showed that replacing prepositions by simple place-holders decreases the translation quality. As an extension to the basic approach with plain place-holders, we thus experiment with enriching the place-holders such that they contain more relevant information and represent the content of a preposition while still being in an abstract for...
متن کاملInduction for SMT Solvers
Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas of interest in such cases. We present a set of techniques that introduce inductive reasoning into SMT solving algorithms that is sound with r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: HYBRIDS
سال: 1991
ISSN: 1884-1171,0914-2568
DOI: 10.5104/jiep1985.7.2_21